This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

In discussing whether legal systems are necessarily coercive, legal philosophers usually appeal to thought experiments involving angels or other morally driven beings who need no coercion to organise their social lives. Such appeals have invited criticism. Critics have not only challenged the relevance of such thought experiments to our understanding of legal systems; they have also argued that, contrary to the intuitions of most legal philosophers, the ‘man on the Clapham Omnibus’ would not hold that there is law in a (...) society of angels because the view that law is necessarily coercive ‘enjoys widespread support among laypersons’. This is obviously an empirical claim. Critics, however, never systematically polled the ‘man on the Clapham Omnibus’. We boarded that bus. This article discusses findings from five empirical studies on the relationship between law and coercion. (shrink)

Leuridan (2011) questions whether mechanisms can really replace laws at the heart of our thinking about science. In doing so, he enters a long-standing discussion about the relationship between the mech-anistic structures evident in the theories of contemporary biology and the laws of nature privileged especially in traditional empiricist traditions of the philosophy of science (see e.g. Wimsatt 1974; Bechtel and Abrahamsen 2005; Bogen 2005; Darden 2006; Glennan 1996; MDC 2000; Schaffner 1993; Tabery 2003; Weber 2005). In our view, Leuridan (...) misconstrues this discussion. His weak positive claim that mechanistic sciences appeal to generalizations is true but uninteresting. His stronger claim, that all causal claims require laws, is unsupported by his arguments. Though we proceed by criticizing Leuridan’s arguments, our greater purpose is to embellish his arguments in order to show how thinking about mechanisms enriches and transforms old philosophical debates about laws in biology and provides new insights into how generalizations afford prediction, explanation and control. (shrink)

Abstract: This paper endeavors to establish a comprehensive account of human knowledge that embraces the probabilistic nature of truth, the integral role of language in our cognitive processes, and the uncertainty and fallibility inherent in our cognitive systems. Drawing upon the work of various philosophers, psychologists, and neuroscientists, the paper advocates for a reinterpretation of the traditional "Justified True Belief" as "Justified Probable Belief." Additionally, the biological underpinnings of this perspective are explored, with an emphasis on synaptic plasticity, dopamine-based learning, (...) and epigenetic mechanisms. (shrink)

Three separate churches erected in Constantinople were all dedicated to the wisdom of Christ and erected on the same site one after the other. These churches were built between 360 and 537 AD by three different emperors: Constantius II, Theodosius the Younger, and Justinian I. The first two churches were consumed in flames after relatively short lives, but the final and greatest church still stands today, despite a history of extensive damage. This final edifice is the main focus of this (...) paper, owing to its 1500 year longevity and unprecedented architecture. If the entire History of Justinian's church is to considered, it is inaccurate to refer to it as a “church,” because although it remained a church for the first 900 years after its audacious construction, it was later converted into a mosque. Today it is a museum, in remembrance of its long history. (24). (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

Despite pervasive variation in the content of laws, legal theorists and anthropologists have argued that laws share certain abstract features and even speculated that law may be a human universal. In the present report, we evaluate this thesis through an experiment administered in 11 different countries. Are there cross‐cultural principles of law? In a between‐subjects design, participants (N = 3,054) were asked whether there could be laws that violate certain procedural principles (e.g., laws applied retrospectively or unintelligible laws), and also (...) whether there are any such laws. Confirming our preregistered prediction, people reported that such laws cannot exist, but also (paradoxically) that there are such laws. These results document cross‐culturally and –linguistically robust beliefs about the concept of law which defy people's grasp of how legal systems function in practice. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

The biological sciences study (bio)complex living systems. Research directed at the mechanistic explanation of the "live" state truly requires a pluralist research program, i.e. BioComplexity research. The program should apply multiple intra-level and inter-level theories and methodologies. We substantiate this thesis with analysis of BioComplexity: metabolic and modular control analysis of metabolic pathways, emergence of oscillations, and the analysis of the functioning of glycolysis.

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know as (...) topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

Quarantines and virtual learning became necessary as a result of the COVID-19 pandemic. This study investigates the challenges and opportunities in virtual classes; and how they affect the academic goals. There were 150 secondary students from Junior and Senior High School levels of education in the Philippines, who were deliberately selected; and they participated in the quantitative online survey that used a 62-item self-made 4-point Likert scale questionnaire, with 0.81 reliability coefficients. The data were evaluated by means of the percentage, (...) the mean, and the standard deviation. Sex and secondary education levels were used, in order to compare the students’ challenges and opportunities. One-way ANOVA compared the male and female respondents’ perceived challenges and opportunities. The results revealed that junior high-school (JHS) girls highlighted academic satisfaction; while school-life balance, and virtual learning helped as challenges and opportunities. The females found school-life balance, communication (F(1,149)=11.098; F(1,149)=8.430, p<0.01), academic fulfilment, self-directedness, and time-management (F(1,149)=4.224; F(1,149)=4.470; F(1,149)=4.030, p<0.05) more difficult than did the males. Senior high school (SHS) students were less satisfied with the virtual teaching (F(1,149)=14.391, p<0.001), technology use (F(1,149)=7.342, p<0.01), and communication (F(1,149)=3.934, p<0.05) than JHS students. Males were more satisfied with school and teachers’ assistance (F(1,149)=7.482, p<0.01). Some viewed virtual learning more favourably; and they regard themselves as being adaptive; they think the subject matter and learning tasks are interrelated; and they viewed virtual feedback more positively (F(1,149)=6.438; F(1,149)=5.900; F(1,149)=5.183; F(1,149)=4.470, p<0.05). The JHS students reported subject matter and the virtual learning tasks as being interrelated; and they valued virtual feedback, school and teacher support, and the adaptability to change. Challenges and opportunities may serve as the foundation for establishing a more inclusive policy on virtual learning implementation, with school and stakeholders’ cooperation needed to sustain learners’ holistic development. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Conclusion: The present results support adequate psychometric properties in terms of factorial validity, reliability, convergent validity, and measurement invariance for the PHQ-4 in young adults in Hong Kong. The PHQ-4 demonstrated a substantial mediating role in the relationship between meaning in life and SI in the distress group. These findings support clinical relevance for using the PHQ-4 as a brief and valid measure of psychological distress in the Chinese context.

The production of scientific instruments in America was neither a postwar phenomenon nor dramatically different from that of several other developed countries. It did, however, undergo a step-change in direction, size and style during and after the war. The American scientific instrument industry after 1945 was intimately dependent on, and shaped by, prior American and European experience. This was true of the specific genres of instrument produced commercially; to links between industry and science; and, just as importantly, to manufacturing practices (...) and cultures. I will argue that, despite the new types of instrument commercialized after the war, this historical continuity of links with science and scientists guided and constrained the design and manufacture of these products. Nevertheless, new designers, manufacturers and customers gradually transformed the culture of scientific instruments in the second half of the century. -/- This chapter deals with a subset of the American instrument industry, namely the measuring and monitoring instruments manufactured for scientific use. Even with the specification of ‘scientific’ instruments, however, these borders are rather artificial and unclear: instrument making from the seventeenth through the twentieth century has generally involved the fabrication of both standard products and custom-made devices for scientific use.2 In this context of sales quantities, ‘scientific’ instruments have often been defined as low-volume, special-order or custom devices. In a similar vein, ‘scientific’ instruments were commonly distinguished from ‘production’ instruments by context of usage, namely their very absence from – and indeed irrelevance to – production environments. This demarcation according to customer and environment was mirrored in at least one furth er respect: the training of their users. The classification into ‘scientific’ and ‘engineering’ applications was as fluid as the relationship between American universities and technical industries themselves.Despite these complementary definitions, the notion of the ‘scientific instrument’ was beginning to prove inadequate even at the turn of the twentieth century, and dramatically so when discussing the post-Second World War period. Definitions altered qualitatively after the Second World War in at least three further ways: (a) new genres of device altered the scope of the scientific instrument; (b) the contribution of State and military sponsorship of new forms of instrument became significant; and, (c) the postwar demand for specialist instruments increased rapidly, owing to wartime innovation, new applications and new customers. I will explore the evolution of instrument manufacturing in this changing context of new technology, funding, development and markets. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

Action Languages are formal methods of talking about actions and their effects on fluents. One recent approach in planning is to define the domains of the planning problems using action languages. The aim of this research is to find a plan for a system defined in the action language C by translating it into a causal theory and then finding an equivalent logic program. The planning problem will then be reduced to finding the answer set (stable model) of this logic (...) program. This planner will be added as an extension to the Causal Calculator (CCALC) which is a model checker for the language of the causal theories. (shrink)

Canada, as one of the three Allied nations collaborating on atomic energy development during the Second World War, had an early start in applying its new knowledge and defining a new profession. Owing to postwar secrecy and distinct national aims for the field, nuclear engineering was shaped uniquely by the Canadian context. Alone among the postwar powers, Canadian exploration of atomic energy eschewed military applications; the occupation emerged within a governmental monopoly; the intellectual content of the discipline was influenced by (...) its early practitioners, administrators, scarce resources, and university niches; and a self-recognized profession coalesced later than did its American and British counterparts. This paper argues that the history of the emergence of Canadian nuclear engineers exemplifies unusually strong shaping of technical expertise by political and cultural context. (shrink)

The emergence in Britain of chemical engineering, by mid‐century the fourth largest engineering specialism, was a hesitant and drawn out process. This article analyses the organisational politics behind the recognition of the technical occupation and profession from the First World War through to the end of the 1920s. The collective sense of professional identity among nascent ‘chemical engineers’ developed rapidly during this time owing to associations which promoted their cause among potential patrons. -/- .

On the origins of British chemical engineering,.

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

This paper explored the frameworks of the learning continuity plan that shaped basic education delivery as issued by the Department of Education-Central Office in light of Sulong Edukalidad and KITE (K- K to 12 Curriculum review and update; I- Improvement of the learning environment, T- Teachers' upskilling and reskilling; and E- Engagement of stakeholders for support and collaboration) as national flagship programs. In particular, the paper examined the adoption and contextualization of the frameworks by the Regional Office - CALABARZON, which (...) is the PIVOT4A QuBE; 4A represents the four strategic thrusts, which are: (a) aligning focus and intervention, (b) advancing handholding initiatives, (c) amplifying defined technical assistance to target delivery units, and (d) appraising stakeholders on the progress of the intervention, and QuBE is the acronym for Quality Basic Education. For its part, the Schools Division Office of Laguna espouses LAGO Laguna or Leaders Actions towards Greater Outcomes. Furthermore, the school learning continuity plan of the San Pedro Relocation Center National High School Landayan Annex is summarized through the acronym SAGWAN or Sustaining & Advocating Genuine Welfare & Actions in the New Normal as the flagship program. In addressing the new normal in education, the juxtapositions of the said flagship programs that stem from national to regional, division, and school levels, are discussed. It also analyzed diversity and inclusiveness, as well as the guiding educational philosophies, in the conduct of school projects, programs, and activities (PPAs). (shrink)

I argue in this paper that philosophers have not clearly introduced the concept of a body in terms of which the problem of other minds and its solutions have been traditionally stated; that one can raise fatal objections to attempts to introduce this concept; and that the particular form of the problem of other minds which is stated in terms of the concept is confused and requires no solution. The concept of a "body" which may or may not be the (...) body of a person, which is required to state the traditional problem, is, on close examination, incoherent and cannot be introduced into a reasonable philosophical discussion. Also published in The Philosophy of the Body, Rejections of Cartesian Dualism, ed. Stuart F. Spicker. (shrink)

In mathematics, the deductive method reigns. Without proof, a claim remains unsolved, a mere conjecture, not something that can be simply assumed; when a proof is found, the problem is solved, it turns into a “result,” something that can be relied on. So mathematicians think. But is there more to mathematical justification than proof? -/- The answer is an emphatic yes, as I explain in this article. I argue that non-deductive justification is in fact pervasive in mathematics, and that it (...) is in good epistemic standing. (shrink)

It has been suggested that certain problems may be unsolvable because of the mind's cognitive structure, but we may wonder what problems, and exactly why. The ultimate origin of the universe and the mind-body problem seem to be two such problems. As to why, Colin McGinn has argued that the mind-body problem is unsolvable because any theoretical concepts about the brain will be observation-based and unable to connect to unobservable subjective experience. McGinn's argument suggests a requirement of imagability -- an (...) observation basis -- for physical causal explanation that cannot be met for either of these problems. Acausal descriptions may be possible but not the causal analyses that provide the greatest explanatory satisfaction, a psychological phenomenon that seems tied to the strength of the underlying observation basis but is affected by other factors as well. (shrink)

Mouth ulcers, also known as canker sores, are a common oral health issue affecting a significant portion of the population. Early and accurate diagnosis of mouth ulcers is crucial for effective treatment and prevention of complications. This paper presents an expert system developed using CLIPS (C Language Integrated Production System) to diagnose mouth ulcer disease. The expert system utilizes a rule-based approach, incorporating a comprehensive knowledge base consisting of symptoms, risk factors, and medical literature related to mouth ulcers. By employing (...) an inference engine, the system evaluates patient input against the rules and generates a diagnosis based on the matching symptoms and relevant factors. The system also provides detailed explanations and recommendations for each diagnosis, aiding healthcare professionals and patients in understanding the condition and selecting appropriate treatment options. The development and validation of the expert system involved a multi-step process, including knowledge acquisition, rule formulation, and testing against a diverse dataset of mouth ulcer cases. The system's performance was evaluated by comparing its diagnoses with those made by medical professionals, demonstrating a high level of accuracy and consistency. The implementation of an expert system for diagnosing mouth ulcer disease offers several advantages, including the ability to provide timely and accessible healthcare services, reduce misdiagnosis rates, and assist healthcare professionals in decision-making processes. Moreover, it empowers individuals to make informed decisions about their health and seek appropriate medical intervention. This paper contributes to the field of medical expert systems by showcasing the practical application of CLIPS in the diagnosis of mouth ulcer disease. The results demonstrate the potential of expert systems as valuable tools for healthcare professionals and patients alike, enhancing the efficiency and accuracy of diagnosis in oral health care. (shrink)

The European Association for Cognitive Systems is the association resulting from the EUCog network, which has been active since 2006. It has ca. 1000 members and is currently chaired by Vincent C. Müller. We ran our annual conference on December 08-09 2016, kindly hosted by the Technical University of Vienna with Markus Vincze as local chair. The invited speakers were David Vernon and Paul F.M.J. Verschure. Out of the 49 submissions for the meeting, we accepted 18 a papers and 25 (...) as posters (after double-blind reviewing). Papers are published here as “full papers” or “short papers” while posters are published here as “short papers” or “abstracts”. Some of the papers presented at the conference will be published in a separate special volume on ‘Cognitive Robot Architectures’ with the journal Cognitive Systems Research. - RC, VCM, YS, MV. (shrink)

On the formation of the School of Interdisciplinary Studies at the University of Glasgow. -/- When the University of Glasgow’s new 'Crichton College' opened its doors in September 1999, its small staff had that rare opportunity in an academic’s career to launch a new curriculum based on clearly enunciated ideals. In the following six years under the direction of Professor Rex C. Taylor, those ideals remained firm even as numbers grew and external circumstances mutated. The theme of this book concerns (...) the ideas, activities and problems – intellectual, curricular and administrative – that shaped the University of Glasgow Crichton Campus during its first six years. Its dozen contributors provide varied perspectives on the problems of creation. (shrink)

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

El presente trabajo de tesis se centra en el estoicismo, en la obra titulada Disertaciones que recoge las enseñanzas de Epicteto pero que fue recopilada por Arriano. Es en tal texto en el que principalmente basamos la presente tesis. Analizamos las enseñanzas de Epicteto, filósofo nacido en Hierópolis (Frigia) hacia el 55 d.C., que fue un liberto que se adentró en el estoicismo tras asistir a las clases del filósofo Musonio Rufo; gracias al permiso de su amo Epafrodito pudo asistir (...) a las pláticas de tal erudito. Los dos temas a tratar, el poder y el amor, que forman parte de la ética y de la filosofía política –estoicas-, así como de la epistemología, la física y la metafísica, por ser el sistema estoico uno que está estrecha y racionalmente interconectado, han sido abordados por investigadores recientes desde distintos ámbitos y perspectivas. El poder y el amor son conceptos que deben de ser explicados y analizados a partir de los conceptos mencionados de “sentimiento”, “inclinación”, “pasión”, “bueno”, “malo”, además de los de “virtud”, “vicio”, “indiferente”, “oikéiosis”, “deber”, “sabio”, “libertad”, etc. Por lo que ambas categorías han sido abordadas desde su vinculación con, o a partir de su explicación a través de, uno o varios de los conceptos mencionados. (shrink)

Enric F. Gel has recently argued that classical theism enjoys a significant advantage over Graham Oppy's naturalism. According to Gel, classical theism – unlike Oppy's naturalism – satisfactorily answers two questions: first, how many first causes are there, and second, why is it that number rather than another? In this article, I reply to Gel's argument for classical theism's advantage over Oppy's naturalism. I also draw out wider implications of my investigation for the gap problem and Christian doctrine along the (...) way. (shrink)

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

An overview of the way I picture the amorphous world we live in, built around my comments and responses to nine festschrift essays by A. Borghini (on the Fedro metaphor and the art of butchery), F. Calemi (on the predication principle and metalinguistic nominalism), C. Calosi (on the argument from mereological universalism to extensonality), E. Casetta (on the role of “monsters” in the realism/antirealism debate), V. Giardino (on inductive reasoning, spatial representation, and problem solving), P. Graziani (on mereological notation), P. (...) Pedrini (on the distinction between natural and artificial boundaries), D. Santoro (on causation by omission), and G. Torrengo (on absolute vs. relational space and the problem of incongruent counterparts). (shrink)

Le XI.ème Congrès International de Philosophie Médiévale de la Société Internationale pour l’Étude de la Philosophie Médiévale (S.I.E.P.M..) s’est déroulé à Porto (Portugal), du 26 au 30 août 2002, sous le thème général: Intellect et Imagination dans la Philosophie Médiévale. A partir des héritages platonicien, aristotélicien, stoïcien, ou néo-platonicien (dans leurs variantes grecques, latines, arabes, juives), la conceptualisation et la problématisation de l’imagination et de l’intellect, ou même des facultés de l’âme en général, apparaissaient comme une ouverture possible pour aborder (...) les principaux points de la pensée médiévale. Les Actes du congrès montrent que « imagination » et « intellect » sont porteurs d’une richesse philosophique extraordinaire dans l’économie de la philosophie médiévale et de la constitution de ses spécificités historiques. Dans sa signification la plus large, la théorisation de ces deux facultés de l’âme permet de dédoubler le débat en au moins six grands domaines: — la relation avec le sensible, où la fantaisie/l’imagination joue le rôle de médiation dans la perception du monde et dans la constitution de la connaissance ; — la réflexion sur l’acte de connaître et la découverte de soi en tant que sujet de pensée ; — la position dans la nature, dans le cosmos, et dans le temps de celui qui pense et qui connaît par les sens externes, internes et par l’intellect ; — la recherche d’un fondement pour la connaissance et l’action, par la possibilité du dépassement de la distante proximité du transcendant, de l’absolu, de la vérité et du bien ; — la réalisation de la félicité en tant qu’objectif ultime, de même que la découverte d’une tendance au dépassement actif ou mystique de toutes les limites naturelles et des facultés de l’âme ; — la constitution de théories de l’image, sensible ou intellectuelle, et de ses fonctions. Les 3 volumes d’Actes incluent les 16 leçons plénières et 112 communications, ainsi que les index correspondants (manuscrits ; noms anciens et médiévaux ; noms modernes ; auteurs). Le volume IV des Actes, contenant 39 communications et des index, est publié par la revue " Mediaevalia. Textos e Estudos ", du Gabinete de Filosofia Medieval de l’Universidade do Porto (volume 23, de 2004). Ouvrage publié avec l’appui de l’Universidade do Porto, de la Faculdade de Letras da U.P., du Departamento de Filosofia - F.L.U.P. et de la Fundação para a Ciência e a Tecnologia (Portugal). (shrink)

The turn of the nineteenth century marked a rich and exciting explosion of philosophical energy and talent. The enormity of the revolution set off in philosophy by Immanuel Kant was comparable, in Kant's own estimation, with the Copernican Revolution that ended the Middle Ages. The movement he set in motion, the fast-moving and often cantankerous dialectic of "German Idealism," inspired some of the most creative philosophers in modern times: including G. W. F. Hegel and Arthur Schopenhauer as well as those (...) who reacted against Kant--Marx and Kierkegaard, for example. This volume traces the emergence of German Idealism from Kant and his predecessors through the first half of the nineteenth century, ending with the irrationalism of Kierkegaard. It provides a broad, scholarly introduction to this period for students of philosophy and related disciplines, as well as some original interpretations of these authors. Also included is a glossary of technical terms as well as a chronological table of philosophical, scientific and other important cultural events. (shrink)

Migraine is a complex neurological disorder characterized by recurrent moderate to severe headaches, accompanied by additional symptoms such as nausea, sensitivity to light and sound, and visual disturbances. Accurate and timely diagnosis of migraines is crucial for effective management and treatment. However, the diverse range of symptoms and overlapping characteristics with other headache disorders pose challenges in the diagnostic process. In this research, we propose the development of an expert system for migraine diagnosis using artificial intelligence and the CLIPS (C (...) Language Integrated Production System) framework. The expert system utilizes a rule-based inference engine to analyze patient-reported symptoms and provide reliable diagnoses or probability scores indicating the likelihood of migraine. The knowledge base of the expert system is designed based on expert knowledge obtained from medical professionals specializing in migraines. The collected knowledge is translated into a structured format suitable for the CLIPS inference engine, incorporating rules and facts to represent the diagnostic criteria and associated symptoms. The system prompts users to provide relevant information about their symptoms, medical history, and potential triggers. It applies the defined rules and facts to evaluate the likelihood of migraine and generate accurate diagnoses or probability scores. Preliminary evaluation results demonstrate the potential of the expert system as a valuable tool for diagnosing migraines. A dataset of anonymized patient records with confirmed migraine cases was used to test the system. The diagnoses generated by the expert system were compared against the known diagnoses, and a high level of accuracy was observed, with 90% of cases correctly diagnosed as migraines. These results highlight the effectiveness and reliability of the system in assisting medical professionals in the diagnosis of migraines. The proposed expert system offers several advantages for migraine diagnosis. It leverages the collective knowledge and expertise of experienced migraine specialists, providing a standardized and consistent approach to diagnosis. The system can handle large amounts of patient data and effectively analyse complex relationships between symptoms, risk factors, and diagnostic criteria. Furthermore, it offers real-time feedback and recommendations, supporting medical professionals in their clinical decision-making process. Future work involves refining the expert system based on feedback from medical experts, expanding the knowledge base to encompass a wider range of symptoms and risk factors, and conducting further evaluations to enhance its accuracy and applicability in clinical settings. The development of an expert system for migraine diagnosis has the potential to improve the diagnostic process, leading to more effective management and treatment strategies for individuals suffering from migraines. (shrink)

This abstract is a synopsis of the paper "An Expert System for Diagnosing Whooping Cough Using CLIPS." The bacterium Bordetella pertussis causes whooping cough, a highly infectious respiratory ailment with several phases of symptoms. An accurate and timely diagnosis is critical for effective treatment and the avoidance of future transmission. The construction of an expert system for detecting whooping cough using the CLIPS (C Language Integrated Production System) architecture is highlighted in this abstract. The expert system provides standardized and systematic (...) evaluation, which reduces the chance of misdiagnosis and improves patient outcomes. Maintenance and upgrades are required to keep the system current with growing medical knowledge. More study in this area has the potential to advance expert systems in identifying and managing a variety of medical disorders. (shrink)

Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest an alternative (...) picture which builds on his work, but differs in a number of important respects. (shrink)

The revival of the philosophy of mathematics in the 60s following its post-1931 slump left us with two conflicting positions on arithmetic’s ontological relationship to set theory. W.V. Quine’s view, presented in 'Word and Object' (1960), was that numbers are sets. The opposing view was advanced in another milestone of twentieth-century philosophy of mathematics, Paul Benacerraf’s 'What Numbers Could Not Be' (1965): one of the things numbers could not be, it explained, was sets; the other thing numbers could not be, (...) even more dramatically, was objects. Curiously, although Benacerraf’s article appeared in the heyday of Quine’s influence, it declined to engage the Quinean position squarely, even seemed to think it was not its business to do so. Despite that, in my experience, most philosophers believe that Benacerraf’s article put paid to the reductionist view that numbers are sets (though perhaps not the view that numbers are objects). My chapter will attempt to overturn this orthodoxy. (shrink)

This short article discusses the fact that the word ‘ancestor’ features in certain arguments that a) are apparently logically valid, b) contain infinitely many premises, and c) are such that none of their finite sub-arguments are logically valid. The article's aim is to motivate, within its brief compass, the study of infinitary logics.

A brief article introducing *One True Logic*. The book argues that there is one correct foundational logic and that it is highly infinitary.

Recent research has begun treating the perennial philosophical question, “what makes a person the same over time?” as an empirical question. A long tradition in philosophy holds that psychological continuity and connectedness of memories are at the heart of personal identity. More recent experimental work, following Strohminger & Nichols (2014), has suggested that persistence of moral character, more than memories, is perceived as essential for personal identity. While there is a growing body of evidence supporting these findings, a critique by (...) Starmans & Bloom (2018) suggests that this research program conflates personal identity with mere similarity. To address this criticism, we explore how loss of someone’s morality or memories influence perceptions of identity change, and perceptions of moral duties towards the target of the change. We present participants with a classic ‘body switch’ thought experiment and after assessing perceptions of identity persistence, we present a moral dilemma, asking participants to imagine that one of the patients must die (Study 1) or be left alone in a care home for the rest of their life (Study 2). Our results highlight the importance of the continuity of moral character, suggesting lay intuitions are tracking (something like) personal identity, not just mere similarity. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.

In this paper we present the concept of neutrosophic quadruple algebraic structures. Specially, we study neutrosophic quadruple rings and we present their elementary properties.

Skepticism is one of the most enduring and profound of philosophical problems. With its roots in Plato and the Sceptics to Descartes, Hume, Kant and Wittgenstein, skepticism presents a challenge that every philosopher must reckon with. In this outstanding collection philosophers engage with skepticism in five clear sections: the philosophical history of skepticism in Greek, Cartesian and Kantian thought; the nature and limits of certainty; the possibility of knowledge and related problems such as perception and the debates between objective knowledge (...) and constructivism; the transcendental method as a response to skepticism and the challenge of naturalism; overcoming the skeptical challenge. (shrink)

Judgments of plausibility involve appearance of the truth or reasonableness, which is always a function of background knowledge. What anyone will countenance is conditioned by what they already know (or think they know). Marc Kirschner (professor of systems biology at Harvard) and John Gerhart (professor of molecular and cell biology at the University of California—Berkeley) aim to show that molecular, cellular, and developmental processes relevant to the generation of phenotypic variation in anatomy, physiology, and behavior demonstrate how evolutionary processes, especially (...) the origins of novelty, are plausible. The outstanding question for Kirschner and Gerhart concerns not the modification of structures but their origination—a question unanswered by the theoretical framework of the modern synthesis. (shrink)